Nuprl Definition : ecland
0,22
postcript
pdf
ecland(
a
;
b
) == inr(inr(inl(<
a
,
b
>)))
latex
Definitions
inr(
x
)
,
inl(
x
)
,
<
a
,
b
>
FDL editor aliases
ecland, ecland
origin